"Abstraction has leaks" law